#include<stdio.h>

#define PRINT(FORMAT, VALUE) printf("the value is "FORMAT"\n", VALUE)
int main()
{
	PRINT("%d", 10);
	return 0;
}
